AI资讯新闻榜单内容搜索-Gauss AI

关键词: AI新闻,AI数学,Gauss,Math,Gauss AI

不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。